Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
نویسندگان
چکیده
In this paper, we outline a new approach to safety analysis in which concepts of computer HAZOP are fused with the idea of software fault tree analysis to enable a continuous assessment of an evolving programmable design developed in Matlab-Simulink. We also discuss the architecture of a tool that we have developed to support the new method and enable its application in complex environments. We show that the method and the tool enable the integrated hardware and software analysis of a programmable system and that in the course of that analysis they automate and simplify the development of fault trees for the system. Finally, we propose a demonstration of the method and the tool and we outline the experimental platform and aims of that demonstration.
منابع مشابه
A MATLAB / SIMULINK BASED FAULT ANALYSIS OF SMALL HYDROPOWER PLANT
ABSTRACTRenewable Energy Sources (RES) are well – defined as energy sources, that are in abundance within the natural surroundings and are much inexhaustible. In addition, hydroelectricity (HE) is a vital part of world renewable energy supply and hydropower remains a bulk source of electricity generation because of its environmental friendliness in nature. Modeling is the analysis of the ...
متن کاملA Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model
Fault tree analysis is a well-known method for reliability and safety assessment of engineering systems. In the last 3 decades, a number of methods have been introduced, in the literature, for automatic construction of fault trees. The main difference between these methods is the starting model from which the tree is constructed. This paper presents a new methodology for the construction of sta...
متن کاملModel-Based Synthesis of Fault Trees from
In this paper, we outline a new approach to safety analysis in which concepts of computer HAZOP are fused with the idea of software fault tree analysis to enable a continuous assessment of an evolving programmable design developed in Matlab-Simulink. We also discuss the architecture of a tool that we have developed to support the new method and enable its application in complex environments. We...
متن کاملA Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA technology. In this paper, we describe a new tool for the automatic synthesis of FMEAs which builds upon our earlier work on fault tree synthesis. The tool constructs FMEAs from engineering diagrams (e.g. developed in M...
متن کاملAn Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models
Kurzfassung: Seit mehreren Jahren wird an einer stärkeren Integration von modellbasierter Systementwicklung und Sicherheitsanalyse geforscht. In diesem Paper werden ein Ansatz und ein Werkzeug zur besseren und frühzeitigen Verzahnung zwischen der Systementwicklung und der Sicherheitsanalyse präsentiert. Im Vordergrund des Ansatzes steht die Verknüpfung der in der Industrie etablierten Werkzeuge...
متن کامل